$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. Div($a$;$n$;$a$ $\div$ $n$)